Operational semantics - PDFSEARCH.IO - Document Search Engine

Operational semantics
Results: 199

#	Item
161	10 The Essence of ML Type Inference François Pottier and Didier Rémy 10.1 Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2005-07-01 08:54:05 Type theory Functional languages Lambda calculus Procedural programming languages Logic in computer science ML Type system Operational semantics Combinatory logic Software engineering Programming language theory Computing
162	INTERNATIONAL TELECOMMUNICATION UNION ITU-T TELECOMMUNICATION STANDARDIZATION SECTOR OF ITU Add to Reading List Source URL: www.itu.int Language: English - Date: 2001-09-13 08:35:12 Mathematics Models of computation Logic in computer science Logical syntax Metalogic Specification and Description Language Abstract state machines Denotational semantics Operational semantics Logic Theoretical computer science Formal languages
163	Observer - 1 What’s Inside: 4 It’s not just semantics… Lt. Col. Robert Russell, Director of Weather for the Air Force Special Operations Command, reminds Air Force weather professionals that they are all warriors Add to Reading List Source URL: www.afweather.af.mil Language: English - Date: 2007-05-07 09:05:40 15th Operational Weather Squadron 9th Operational Weather Squadron Air Force Special Operations Command United States Air Force United States Air Force Special Operations Weather Technician 2nd Combat Weather Systems Squadron 7th Weather Squadron Air Force Weather Agency Military organization
164	This article has been accepted for inclusion in a future issue of this journal. Content is final as presented, with the exception of pagination. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS 1 Source-to-Source Architectur Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:30 Logic in computer science Programming language semantics Computer science Object-oriented programming Component-based software engineering Denotational semantics Petri net Operational semantics Theoretical computer science Software engineering Models of computation
165	Grant Agreement: [removed]Comprehensive Modelling for Advanced Systems of Systems CML Definition 3 – Denotational Semantics Deliverable Number: D23.4a Version: 0.7 Add to Reading List Source URL: www.compass-research.eu Language: English - Date: 2014-01-16 05:35:54 Programming language semantics Logic in computer science Models of computation Formal methods Denotational semantics Unifying Theories of Programming Hoare logic Semantics Operational semantics Theoretical computer science Computer science Applied mathematics
166	Operational Semantics for Multi-Language Programs Jacob Matthews Robert Bruce Findler University of Chicago Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2006-10-26 19:02:16 Computer science Functional languages Logic in computer science Models of computation Combinatory logic Fixed-point combinator ML Theoretical computer science Lambda calculus Software engineering
167	1 To appear in J. Functional Programming A Monadic Framework for Delimited Continuations Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2006-09-20 01:15:04 Continuations Control flow Functional programming Delimited continuation Programming language semantics Logic in computer science Call-with-current-continuation Operational semantics Monad Software engineering Computing Computer programming
168	arXiv:0804.3914v2 [cs.LO] 3 Jun[removed]Reasoning in Abella about Structural Operational Semantics Specifications Andrew Gacek1 Dale Miller2 Gopalan Nadathur1 Abstract Add to Reading List Source URL: arxiv.org Language: English - Date: 2008-06-02 21:09:43 Model theory Formal languages Theoretical computer science Interpretation Philosophy of mind Semantics Lambda calculus Structure Function Mathematics Mathematical logic Logic
169	JFP 22 (4–5): 705–746, [removed]c Cambridge University Press 2012 ! 705 Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:27 Programming language semantics Models of computation Computer science Operational semantics Model theory Lambda calculus Denotational semantics Theoretical computer science Applied mathematics Logic in computer science
170	JFP 18 (4): 437–502, [removed]c 2007 Cambridge University Press 437 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2008-06-06 08:53:06 Logic in computer science Lambda calculus Models of computation Computability theory Free variables and bound variables Name binding Operational semantics Simply typed lambda calculus Π-calculus Theoretical computer science Applied mathematics Mathematics

UPDATE